
# this is the name of the main maude module 
LANGUAGE_NAME = IO

# this are all interesting modules (used to latexify)
LANGUAGE_MODULES = IO-SYNTAX IO-SEMANTICS IO

#this is the basename of the main file
MAIN_FILE = io

LATEX_STYLE = bb
# LATEX_TOPMATTER = topmatter.tex

# this is a space-separated list of basename maude files to run
TESTS = 
# test.m

TOOL_DIR = $(K_BASE)/tools/
include $(TOOL_DIR)make-helper.mk
